Derivation of momentum operator